Programming Language Escape Hatches
buttondown.com·1d·
Discuss: Hacker News
🦀Rust Macros
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·14h
🧮Algebraic Archives
# Introducing collection: A Generic and Concurrency-Safe Data Structures Library in Go
reddit.com·13h·
Discuss: r/golang
🌳Persistent Data Structures
Debugging the Tradecraft Garden
rastamouse.me·6h
🔍RISC-V Debug
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·4d·
Discuss: Lobsters, r/programming
🔤Type Theory
Python Fundamentals: code coverage
dev.to·5h·
Discuss: DEV
📏Code Metrics
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·5h
🧮Algebraic Datatypes
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·11h·
Discuss: Hacker News
🦀Embedded Rust
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·2d·
Discuss: Hacker News
🔗Functional Compilers
The Clowder Project
golem.ph.utexas.edu·6h
📡Feed Archaeology
Codeminer42 Dev Weekly #71
blog.codeminer42.com·1h
🌀Brotli Internals
Use Your Type System
dzombak.com·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·1d·
Discuss: Hacker News
🔒Type Safety
About the Cryptopocalypse
ritter.vg·9h
🌳Archive Merkle Trees
XOR Crack Kit
kobolt.website·18h
🔐Cryptographic Archaeology
Zig Wants to Replace Go and Rust. Does It Have What It Takes?
dev.to·7h·
Discuss: DEV
🦀Rust Borrowing
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·9h
🔌Operating system internals
Invisible Programming Language
en.wikipedia.org·8h·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
Crafting a dependent typechecker, part 1
blueberrywren.dev·6d·
Discuss: Hacker News
🔗Functional Compilers
Uncertain⟨T⟩
nshipster.com·5h·
Discuss: Hacker News
🧪CBOR Fuzzing